Curry-Howard correspondence
[网络] 柯里-霍华德同构
热门查询
- contact n. 接触，联系 vt. 使接触，联系 vi. 使接触，联系
- berg n. 冰山
- wi abbr. 熟铁（Wrought Iron）；妇女协会（Women 's Institute）；西印度群岛（West Indies）
- fenugreek n. 胡芦巴；葫芦巴的种子
- semiautomatic adj. [自] 半自动的
- animistic adj. 精灵论的；万物有灵论的
- yod n. 希伯来文第十个字母（等于yodh） abbr. 死亡年份（year of death）
- sting n. 刺痛；讽刺，刺激；刺毛 vt. 刺；驱使；使…苦恼；使…疼痛 vi. 刺痛；被刺痛；感到剧痛 n. (Sting)人名；(英)斯廷；(德)施廷
- BBC abbr. 英国广播公司（British Broadcasting Corporation）
- pervading adj. 普遍的；无所不在的
- ballistic adj. 弹道的；射击的
- Nasser n. 纳塞尔（埃及总统, 1918-1970）
- comparator n. [仪] 比较仪；比测仪
- ionization n. [化学] 离子化
- butchering n. 屠宰加工业 v. 屠宰；残杀；弄糟（butcher的现在分词）
- Frankish n. 法兰克语 adj. 法兰克人的；法兰克语的
- plausibly adv. 似真地
- Nagy 纳吉（人名）
- aberrational 离开轨道的，越轨的，脱离常规的
- tilted v. 使倾斜（tilt的过去分词） adj. 倾斜的，翘起的
考试词汇表
- pieces,dome shaped ear
- piecewise differential
- piecewise linear model
- piecewise smooth curve
- piecework remuneration
- pied piper of hamelins
- piedmont eluvial plain
- pieotamide monohydrate
- pierce arrow operation
- pierce smith converter
- piercing mill, piercer
- pieris rapae crucivora
- pierre auguste renoirs
- pierre laporte bridges
- pierre robins syndrome
- pierre-robins syndrome
- piezo electric crystal
- piezo-electric control
- piezo-electric crystal
- piezo-electric modulus
